2

Tethered space elevator Possible applications & demonstrative experiments

Année:
1988
Langue:
english
Fichier:
PDF, 675 KB
english, 1988
6

EquiLoad: a load balancing policy for clustered web servers

Année:
2001
Langue:
english
Fichier:
PDF, 504 KB
english, 2001
26

Combinatorial Perron parameters for trees

Année:
2019
Langue:
english
Fichier:
PDF, 454 KB
english, 2019
33

Automated Parallelization of Discrete State-Space Generation

Année:
1997
Langue:
english
Fichier:
PDF, 513 KB
english, 1997
34

A decomposition approach for stochastic reward net models

Année:
1993
Langue:
english
Fichier:
PDF, 1.43 MB
english, 1993
37

Logic and stochastic modeling with S m A r T

Année:
2006
Langue:
english
Fichier:
PDF, 668 KB
english, 2006
39

Formal Verification of the NASA Runway Safety Monitor

Année:
2005
Langue:
english
Fichier:
PDF, 301 KB
english, 2005
40

Approximate transient analysis for subclasses of deterministic and stochastic Petri nets

Année:
1999
Langue:
english
Fichier:
PDF, 344 KB
english, 1999
41

ETAQA: an efficient technique for the analysis of QBD-processes by aggregation

Année:
1999
Langue:
english
Fichier:
PDF, 434 KB
english, 1999
43

Decision diagrams for the approximate analysis of Markov models

Année:
2007
Langue:
english
Fichier:
PDF, 121 KB
english, 2007
46

The laparoscopic approach in abdominal emergencies: has the attitude changed?

Année:
2008
Langue:
english
Fichier:
PDF, 179 KB
english, 2008